﻿function $(name)
{
    return document.getElementById(name);
}